Desirability Characterisations

Non-deterministic Characterisations

In this paper, we extend Jones’ result—that cons-free programming with kth-order data and a callby-value strategy characterises EXPTIME—to a more general setting, including pattern-matching and non-deterministic choice. We show that the addition of non-determinism is unexpectedly powerful in the higher-order setting. Nevertheless, we can obtain a non-deterministic parallel to Jones’ hierarchy r...

Geometric Characterisations of Groups

Relational Characterisations of Paths

Binary relations are one of the standard ways to encode, characterise and reason about graphs. Relation algebras provide equational axioms for a large fragment of the calculus of binary relations. Although relations are standard tools in many areas of mathematics and computing, researchers usually fall back to point-wise reasoning when it comes to arguments about paths in a graph. We present a ...

Characterisations of Nelson Algebras

Nelson algebras arise naturally in algebraic logic as the algebraic models of Nelson’s constructive logic with strong negation. This note gives two characterisations of the variety of Nelson algebras up to term equivalence, together with a characterisation of the finite Nelson algebras up to polynomial equivalence. The results answer a question of Blok and Pigozzi and clarify some earlier work ...

Modal Characterisations of Behavioural Pseudometrics

For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one is state-based and the other is distribution-based. We provide a sound and complete modal characterisation for each of them, using real-valued modal logics based on the Hennessy-Milner logic. The logic for characteris...